Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
model checking propositional logic International Atomic Time first-order logic atomic tautological probability transaction tautological set pi-calculus Genken Programming Language electron Network Time Protocol neutrosophic logic Aeolus ACID Argus rollback Horn clause two-phase commit Universal Time Global Positioning System Arjuna John von Neumann database temporal logic Coordinated Universal Time Resource Description Framework Real Programmers Don't Use Pascal